森岡 蒼; "証明可能性論理Dのモデルの拡張"